$\forall$$A$,$B$:Type, $x$:($A$ + $B$). isl($x$) $\in$ $\mathbb{B}$